<?php

function get_x() {
    return $GLOBALS["x"];
}
